Formal system - PDFSEARCH.IO - Document Search Engine

Formal system
Results: 1034

#	Item
191	The Yapps Parser Generator System http://theory.stanford.edu/˜amitp/Yapps/ Version 2 Amit J. Patel http://www-cs-students.stanford.edu/ amitp/ Introduction Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2002-08-09 18:50:20 Programming language implementation Formal languages Compiler construction Control flow Recursive descent parser LL parser Left recursion Attribute grammar Lookahead Software engineering Parsing Computing
192	Publication list of Marc Bezem Journal articles [1] M.A. Bezem. Isomorphisms between HEO and HROE , ECF and ICFE . Journal of Symbolic Logic 50:359–371, M.A. Bezem. Strongly majorizable functionals of finite Add to Reading List Source URL: www.ii.uib.no Language: English - Date: 2013-10-30 09:43:20 Formal languages Applied mathematics Dependently typed programming Type theory Mathematical logic Rewriting Abstract rewriting system Logic Curry–Howard correspondence Theoretical computer science Logic in computer science Mathematics
193	15th INTERNATIONAL CONFERENCE ON SYSTEMS RESEARCH, INFORMATICS & CYBERNETICS Add to Reading List Source URL: www.iias.edu Language: English - Date: 2011-10-12 13:45:44 Control theory Systems Knowledge Systems science Formal sciences Multi-agent system System Science Systems theory Cybernetics
194	A Loop Acceleration Technique to Speed Up Verification of Automatically-Generated Plans Robert P. Goldman and Michael J.S. Pelican and David J. Musliner SIFT, LLC 211 N. First St. Minneapolis, MN 55401 Add to Reading List Source URL: icaps11.icaps-conference.org Language: English - Date: 2013-04-15 04:52:48 Applied mathematics Computer science Model checkers Formal methods Logic in computer science Formal verification Model checking State transition system Uppaal Model Checker Models of computation Theoretical computer science Automata theory
195	Microsoft Word - GISRUK_2015_IsVGIBigData_acw Add to Reading List Source URL: leeds.gisruk.org Language: English - Date: 2015-04-19 18:22:06 Science Data management Collaborative mapping Volunteered geographic information Web mapping Geographic information system Data mining Geospatial analysis Twitter Technology Cartography Formal sciences
196	Combining a Formal with an Example-driven Approach for Data Integration Ingolf Geist Kai-Uwe Sattler Ingo Schmitt Department of Computer Science Add to Reading List Source URL: fusion.cs.uni-magdeburg.de Language: English - Date: 2002-10-04 04:13:20 Information Database management systems Federated database system Database schema Data integration Data model EXPRESS Data mapping Schema matching Data management Data modeling Data
197	Recursive Cellular Automata Invariant Sets Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2013-03-26 14:30:37 Discrete mathematics Theoretical computer science Formal languages Ergodic theory Subshift of finite type Shift space Recursively enumerable set Dynamical system Cellular automaton Combinatorics on words Mathematics Automata theory
198	CUSTOMER CASE Dyne Advanced Analytics Early warning system for unpaid credits What used to require a lot of mental effort from experts can now be made easier by software: decisions about the credit-worthiness of companie Add to Reading List Source URL: www.dynelytics.com Language: English - Date: 2012-10-20 08:46:53 SPSS Credit Credit risk Analytics Data mining Formal sciences Statistics Business intelligence
199	The 17th International Conference on Formal Engineering Methods CNAM Paris, 3 – 6 Nov. ICFEM 2015 Add to Reading List Source URL: icfem2015.lri.fr Language: English - Date: 2015-02-13 04:42:48 Conservatoire National des Arts et Métiers System Model checking Science Knowledge Grandes écoles Education Formal methods
200	Planning as Model Checking in Hybrid Domains Sergiy Bogomolov Daniele Magazzeni Andreas Podelski Add to Reading List Source URL: ai.cs.unibas.ch Language: English - Date: 2014-07-02 05:16:10 Automated planning and scheduling Planning Domain Definition Language Theoretical computer science Models of computation Hybrid automaton Formal languages Finite-state machine Hybrid system Alphabet Automata theory Differential equations Mathematics

UPDATE